home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 22 / CU Amiga Magazine's Super CD-ROM 22 (1998)(EMAP Images)(GB)[!][issue 1998-05].iso / PowerPC / Programming / PPCsiod / sources / lists.c < prev    next >
Encoding:
C/C++ Source or Header  |  1993-09-25  |  7.5 KB  |  297 lines
  1. /* Scheme In One Define.
  2.  
  3. The garbage collector, the name and other parts of this program are
  4.  
  5.  *                     COPYRIGHT (c) 1989 BY                              *
  6.  *      PARADIGM ASSOCIATES INCORPORATED, CAMBRIDGE, MASSACHUSETTS.       *
  7.  
  8. Conversion  to  full scheme standard, characters, vectors, ports, complex &
  9. rational numbers, and other major enhancments by
  10.  
  11.  *      Scaglione Ermanno, v. Pirinoli 16 IMPERIA P.M. 18100 ITALY        * 
  12.  
  13. Permission  to use, copy, modify, distribute and sell this software and its
  14. documentation  for  any purpose and without fee is hereby granted, provided
  15. that  the  above  copyright  notice appear in all copies and that both that
  16. copyright   notice   and   this  permission  notice  appear  in  supporting
  17. documentation,  and that the name of Paradigm Associates Inc not be used in
  18. advertising or publicity pertaining to distribution of the software without
  19. specific, written prior permission.
  20.  
  21. PARADIGM  DISCLAIMS  ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING
  22. ALL  IMPLIED  WARRANTIES  OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL
  23. PARADIGM  BE  LIABLE  FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR
  24. ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER
  25. IN  AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
  26. OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  27.  
  28. */
  29.  
  30. #include <stdio.h>
  31. #include <string.h>
  32. #include <ctype.h>
  33. #include <setjmp.h>
  34. #include <signal.h>
  35. #include <math.h>
  36.  
  37. #include "siod.h"
  38.  
  39. LISP cons(LISP x,LISP y)
  40. {long flag;
  41.  LISP z;
  42.  flag=no_interrupt(1);
  43.  NEWCELL(z,tc_cons);
  44.  CAR(z) = x;
  45.  CDR(z) = y;
  46.  no_interrupt(flag);
  47.  return(z);}
  48.  
  49. LISP consp(LISP x)
  50. {if CONSP(x) return(truth);
  51.  return(NIL);}
  52.  
  53. LISP car(LISP x)
  54. {switch TYPE(x)
  55.    {case tc_nil:
  56.       return(NIL);
  57.     case tc_cons:
  58.       return(CAR(x));
  59.     default:
  60.       err("car",x,ERR_GEN_ARG | ERR_NPAI);}}
  61.  
  62. LISP cdr(LISP x)
  63. {switch TYPE(x)
  64.    {case tc_nil:
  65.       return(NIL);
  66.     case tc_cons:
  67.       return(CDR(x));
  68.     default:
  69.       err("cdr",x,ERR_GEN_ARG | ERR_NPAI);}}
  70.  
  71. LISP setcar(LISP cell, LISP value)
  72. {if NCONSP(cell) err("set-car!",cell,ERR_FIRST | ERR_NPAI);
  73.  return(CAR(cell) = value);}
  74.  
  75. LISP setcdr(LISP cell,LISP value)
  76. {if NCONSP(cell) err("set-cdr!",cell,ERR_FIRST | ERR_NPAI);
  77.  return(CDR(cell) = value);}
  78.  
  79. LISP reverse(LISP l)
  80. {LISP n,p;
  81.  if (NNULLP(l) && NCONSP(l)) err("reverse",l,ERR_GEN_ARG | ERR_NPAI);
  82.  n = NIL;
  83.  for(p=l;CONSP(p);p=CDR(p)) n = cons(CAR(p),n);
  84.  return(n);}
  85.  
  86. LISP reverseI(LISP l)
  87. {LISP n,p;
  88.  if (NNULLP(l) && NCONSP(l)) err("reverse!",l,ERR_GEN_ARG | ERR_NPAI);
  89.  n = NIL;
  90.  while(CONSP(l))
  91.   {p = CDR(l);
  92.    CDR(l) = n;
  93.    n = l;
  94.    l = p;}   
  95.  return(n);}
  96.  
  97. LISP append(LISP args)
  98. {LISP l,s,tmp;
  99.  s=car(args);
  100.  if (NNULLP(s) && NCONSP(s))
  101.     err("append",s,ERR_FIRST | ERR_NPAI);
  102.  for(l=cdr(args);CONSP(l);l=CDR(l))
  103.   {tmp=CAR(l);
  104.    if (NNULLP(tmp) && NCONSP(tmp)) 
  105.       err("append",tmp,ERR_GEN_ARG | ERR_NPAI);
  106.    s=append_rec(s,tmp);}
  107.  return s;}
  108.  
  109. LISP append_rec(LISP x,LISP y)
  110. {LISP k,*z;
  111.  if NULLP(x) return(y);
  112.  k = cons(car(x),y);
  113.  x = cdr(x);
  114.  z = &CDR(k);
  115.  while(CONSP(x))
  116.   {*z = cons(CAR(x),y);
  117.    x = CDR(x);
  118.    z = &CDR(*z);}
  119.  if(NNULLP(x)) err("improper list to append",x,ERR_GEN);
  120.  return k;}
  121.  
  122. LISP appendI(LISP args)
  123. {LISP l,s,tmp;
  124.  s=car(args);
  125.  if (NNULLP(s) && NCONSP(s)) err("append!",s,ERR_FIRST | ERR_NPAI);
  126.  for(l=cdr(args);CONSP(l);l=CDR(l))
  127.   {tmp=CAR(l);
  128.    if (NNULLP(tmp) && NCONSP(tmp)) err("append!",tmp,ERR_GEN_ARG | ERR_NPAI);
  129.    s=appendI_rec(s,tmp);}
  130.  return s;}
  131.  
  132. LISP appendI_rec(LISP x,LISP y)
  133. {LISP list=x;
  134.  while (CONSP(cdr(list)))
  135.    list = CDR(list);
  136.  if(NNULLP(cdr(list))) err("improper list to append!",x,ERR_GEN);
  137.  CDR(list) = y;
  138.  return x;}
  139.  
  140. LISP llist(LISP x)
  141. {return x;}
  142.  
  143. LISP dotlist(LISP args)
  144. {LISP l,t;
  145.  for(l=args,t=NIL;CONSP(cdr(l));t=l,l = CDR(l));
  146.  CDR(t) = CAR(l);
  147.  return args;}
  148.  
  149. LISP cxr(LISP x,LISP y)
  150. {LISP l;
  151.  char *p;
  152.  if (NNULLP(x) && NCONSP(x)) err("cxr",x,ERR_FIRST | ERR_NPAI);
  153.  if NSTRINGP(y) err("cxr",y,ERR_SECOND | ERR_NSTR);
  154.  p=SNAME(y);
  155.  l=x;
  156.  while(*p && CONSP(l))
  157.   {if(*p=='a')
  158.     l=CAR(l);
  159.    else if(*p=='d')
  160.     l=CDR(l);
  161.    else
  162.     err("wrong string to cxr",y,ERR_GEN);
  163.    p++;}
  164.  return l;}
  165.  
  166. LISP last_pair(LISP list)
  167. {if (NNULLP(list) && NCONSP(list)) err("last-pair",list,ERR_GEN_ARG | ERR_NPAI);
  168.  while (CONSP(CDR(list)))
  169.    list = CDR(list);
  170.  return (list);}
  171.  
  172. LISP list_ref(LISP x,LISP y)
  173. {LISP l;
  174.  unsigned int n;
  175.  if (NNULLP(x) && NCONSP(x)) err("list-ref",x,ERR_FIRST | ERR_NPAI); 
  176.  if (NINTNUMP(y)) err("list-ref",y,ERR_SECOND | ERR_NINT);
  177.  if (INTNM(y)<0) err("list-ref",y,ERR_IND_RAN);
  178.  l=x;
  179.  for(n=INTNM(y);n>0;n--)
  180.   l=cdr(l);
  181.  return (car(l));}
  182.  
  183. LISP lenght(LISP x)
  184. {LISP z;
  185.  if (NNULLP(x) && NCONSP(x)) err("length",x,ERR_GEN_ARG | ERR_NPAI); 
  186.  z = intcons(leng(x));
  187.  return (z);}
  188.  
  189. long leng(LISP x)
  190. {LISP l;
  191.  long n;
  192.  l=x;
  193.  for(n=0;CONSP(l);n++)
  194.   l=CDR(l);
  195.  return (n);}
  196.  
  197. LISP copy_list(LISP x)
  198. {LISP y,*z;
  199.  y = NIL;
  200.  z = &y;
  201.  while(CONSP(x))
  202.   {*z = cons(copy_list(CAR(x)),NIL);
  203.    x = CDR(x);
  204.    z = &CDR(*z);}
  205.  *z = x;
  206.  return y;}
  207.  
  208. LISP delete(LISP x,LISP list)
  209. {LISP *z,l;
  210.  if (NNULLP(list) && NCONSP(list)) err("delete!",x,ERR_SECOND | ERR_NPAI); 
  211.  for(l=list,z = &list;CONSP(l);l = CDR(l))
  212.   {if(equal(CAR(l),x)==truth)
  213.      *z = CDR(l);
  214.    else
  215.      z = &CDR(*z);}
  216.  return list;}
  217.  
  218. LISP delq(LISP x,LISP list)
  219. {LISP *z,l;
  220.  if (NNULLP(list) && NCONSP(list)) err("delq!",x,ERR_SECOND | ERR_NPAI); 
  221.  for(l=list,z = &list;CONSP(l);l = CDR(l))
  222.   {if(EQ(CAR(l),x))
  223.      *z = CDR(l);
  224.    else
  225.      z = &CDR(*z);}
  226.  return list;}
  227.  
  228. LISP nullp(LISP x)
  229. {if EQ(x,NIL) return(truth);
  230.  return(NIL);}
  231.  
  232. LISP atomp(LISP x)
  233. {if NCONSP(x) return(truth);
  234.  return(NIL);}
  235.  
  236. LISP list_tail(LISP x,LISP y)
  237. {LISP l;
  238.  unsigned int n;
  239.  if (NNULLP(x) && NCONSP(x)) err("list-tail",x,ERR_FIRST | ERR_NPAI); 
  240.  if (NINTNUMP(y)) err("list-tail",y,ERR_SECOND | ERR_NINT);
  241.  if (INTNM(y)<0) err("list-tail",y,ERR_IND_RAN);
  242.  l=x;
  243.  for(n=INTNM(y);n>0;n--)
  244.   l=cdr(l);
  245.  return (l);}
  246.  
  247. LISP assq(LISP x,LISP alist)
  248. {LISP l,tmp;
  249.  if (NNULLP(alist) && NCONSP(alist)) err("assq",x,ERR_SECOND | ERR_NPAI); 
  250.  for(l=alist;CONSP(l);l=CDR(l))
  251.    {tmp = CAR(l);
  252.     if (CONSP(tmp) && EQ(car(tmp),x)) return(tmp);}
  253.  if EQ(l,NIL) return(NIL);
  254.  err("improper list to assq",alist,ERR_GEN);}
  255.  
  256. LISP assv(LISP x,LISP alist)
  257. {LISP l,tmp;
  258.  if (NNULLP(alist) && NCONSP(alist)) err("assv",x,ERR_SECOND | ERR_NPAI); 
  259.  for(l=alist;CONSP(l);l=CDR(l))
  260.    {tmp = CAR(l);
  261.     if (CONSP(tmp) && eql(car(tmp),x)) return(tmp);}
  262.  if EQ(l,NIL) return(NIL);
  263.  err("improper list to assv",alist,ERR_GEN);}
  264.  
  265. LISP assoc(LISP x,LISP alist)
  266. {LISP l,tmp;
  267.  if (NNULLP(alist) && NCONSP(alist)) err("assoc",x,ERR_SECOND | ERR_NPAI); 
  268.  for(l=alist;CONSP(l);l=CDR(l))
  269.    {tmp = CAR(l);
  270.     if (CONSP(tmp) && equal(car(tmp),x)) return(tmp);}
  271.  if EQ(l,NIL) return(NIL);
  272.  err("improper list to assoc",alist,ERR_GEN);}
  273.  
  274. LISP member(LISP x,LISP alist)
  275. {LISP l;
  276.  if (NNULLP(alist) && NCONSP(alist)) err("member",x,ERR_SECOND | ERR_NPAI); 
  277.  for(l=alist;CONSP(l);l=CDR(l))
  278.    {if (equal(CAR(l),x)) return(l);}
  279.  if EQ(l,NIL) return(NIL);
  280.  err("improper list to member",alist,ERR_GEN);}
  281.  
  282. LISP memq(LISP x,LISP alist)
  283. {LISP l;
  284.  if (NNULLP(alist) && NCONSP(alist)) err("memq",x,ERR_SECOND | ERR_NPAI); 
  285.  for(l=alist;CONSP(l);l=CDR(l))
  286.    {if (EQ(CAR(l),x)) return(l);}
  287.  if EQ(l,NIL) return(NIL);
  288.  err("improper list to memq",alist,ERR_GEN);}
  289.  
  290. LISP memv(LISP x,LISP alist)
  291. {LISP l;
  292.  if (NNULLP(alist) && NCONSP(alist)) err("memv",x,ERR_SECOND | ERR_NPAI); 
  293.  for(l=alist;CONSP(l);l=CDR(l))
  294.    {if (eql(CAR(l),x)) return(l);}
  295.  if EQ(l,NIL) return(NIL);
  296.  err("improper list to memv",alist,ERR_GEN);}
  297.